|
|
Epistemology versus Ontology
by Dybjer, P.
Publication:
. XXVII, 385 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Treatise on Intuitionistic Type Theory
by Granström, Johan Georg.
Publication:
. XIV, 198 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms
by DeVidi, David.
Publication:
. XVIII, 486 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Philosophy of Mathematics in the Early Husserl
by Centrone, Stefania.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Belief Revision in Non-Classical Logics
by Ribeiro, Márcio Moretto.
Publication:
. XI, 120 p. 5 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|